Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
bounded quantification - перевод на русский
bounded quantification
математика
ограниченная квантификация
bounded quantifier
LOGICAL QUANTIFICATION THAT RANGES OVER A SUBSET OF THE UNIVERSE OF DISCOURSE
Bounded quantifiers
общая лексика
ограниченный квантор
bounded operator
LINEAR TRANSFORMATION L BETWEEN NORMED VECTOR SPACES X AND Y FOR WHICH THE RATIO OF THE NORM OF L(V) TO THAT OF V IS BOUNDED BY THE SAME NUMBER, OVER ALL NON-ZERO VECTORS V IN X
Bounded linear map; Bounded linear operator; Continuous operator; Bounded linear function; Bounded operators; Bounded linear functional; Bounded linear transform; Bounded Linear Form; Bonded linear operator
математика
ограниченный оператор
Википедия
Bounded quantification
In type theory, bounded quantification (also bounded polymorphism or constrained genericity) refers to universal or existential quantifiers which are restricted ("bounded") to range only over the subtypes of a particular type. Bounded quantification is an interaction of parametric polymorphism with subtyping.
